『Programming in Martin-Löf ’s type theory』 - pogi-log

『Programming in Martin-Löf ’s type theory』

Programming in Martin-Löf’s Type Theory. Programming in Martin-Löf’s Type Theory. 1990

著者：Bengt Nordström, Kent Petersson, Jan M. Smith

版元：Oxford University Press

発行年：1990-12-31

頁数： 231ページ

所持：pogin503.icon(フリーのpdf)

cse.chalmers.se: Programming in Martin-Löf’s Type Theory

ncatlab: https://ncatlab.org/nlab/files/NordstromPeterssonSmith-TypeTheory.pdf

freetechbooks.com: Programming in Martin-Löf's Type Theory: An Introduction